⚡ Fusion Laws - abnv · Scour

Tip of the Week #143: C++11 Deleted Functions (<code>= delete</code>)

abseil.io·11h

🔧Scheme Macros

Oatmeal - Constraint propagation for fun

eli.li·6h

🧩Constraint Solvers

feldera/feldera: The Feldera Incremental Computation Engine

github.com·23h

🚂Cranelift IR

Railway Oriented Programming

fsharpforfunandprofit.com·1d·

Discuss: Hacker News

🚂Error Monads

ERC-8004: A Trustless Agent Standard for On-Chain AI in Avalanche C-Chain

medium.com·8h

My Most Important C++ Aha! Moments...Ever

artima.com·11h

Let Lambda Come Over

yamlscript.org·1d

λLambda Calculus

Nonlinear random walks on hypergraphs characterized by higher-order interactions

sciencedirect.com·18h

🧮Combinator Calculus

My take on transforming data

dev.to·8h·

Discuss: DEV

📋Souffle Datalog

Introduction to Flakes

nixos-and-flakes.thiscute.world·1h

🧼Lisp Hygiene

Early History of a Perfect Join Algorithm

remy.wang·11h

📈Query Optimization

**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...

freederia.com·1d

📡Erlang BEAM

Rob Pike's Simple Regular Expressions

bruceediger.com·7h

🔤Regex Engines

gharasathi (घरासाठी) — A Privacy-First Household AI Running on a $200 Mini PC

amazon.com.au·5h·

Discuss: DEV

💬Smalltalk VMs

The Stochastic-Quantum Theorem

arxiv.org·2d

🧮Combinator Calculus

Long-Sought Proof Tames Some of Math’s Unruliest Equations

quantamagazine.org·1d·

Discuss: Hacker News, Hacker News

A Neighborhood of Infinity: You Could Have Invented Monads! (And Maybe You Already Have.)

blog.sigfpe.com·1d

🧩Monadic Parsing

Logic Puzzles: Why the Liar Is the Helpful One

blog.szczepan.org·1d·

Discuss: Hacker News

📜Proof Languages

Performance Tip of the Week #64: More Moore with better API design

abseil.io·11h

⚡Interpreter Optimization

Build a Compiler in Five Projects

kmicinski.com·23h

🎭Racket Modules

Loading more...